An Interval-based Temporal Logic in a Multivalued Setting
نویسنده
چکیده
We describe the embedding of the semantic notions and modal operators of a fir st-order temporal logic based on time intervals in a multivalued setting. Truth values will be realized as functions from time intervals to "ordinary" truth values like t and f . The main emphasis lies on the realization of the various modal operators contained in the temporal logic as operations on the functional truth values . We show that it is possible to obtain an effici ent system sufficient for tasks in the area of di agnost. ic reasoning .
منابع مشابه
Multivalued Knowledge-Base based on multivalued Datalog
The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. The concept of multivalued knowledgebase will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a function set of the program, which help us to determine the uncertainty levels of the results. At ...
متن کاملA Multivalued Logic Model of Planning
In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of planning problem and solution plan also reflect a multivalued approach. Mul...
متن کاملVariable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic
In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...
متن کاملA Multivalued planning model for soft preconditions and preferences
In this work a model for planning with multivalued fluents and graded actions, that allows preferences specifications and plan metric, is introduced. This model is based on the infinity-valued Łukasiewicz logic. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of plann...
متن کاملA new interval approach for setting the distance relay zones to achieve perfect selectivity and maximum sensitivity
In this paper, an interval approach is presented to achieve perfect selectivity and maximum sensitivity in distance relay zones, considering uncertainties. For this purpose, first, the uncertainties affecting the settings of the three zones of a distance relay are discussed. Then, by using the Monte-Carlo simulation, the uncertainties are modelled and the impedances seen by the distance relay a...
متن کامل